The document discusses various voting systems and their properties. It provides examples to illustrate plurality voting, Borda count, pairwise comparison, plurality with elimination, and analyzes them in terms of criteria like majority, monotonicity, and irrelevant alternatives. Students ranked candy bars in an exercise demonstrating Borda count and plurality with elimination methods. Their results violated the majority and monotonicity criteria in some cases.