5. May’s theorem says that, with an odd number of voters, among all two-candidate voting systems that never result in a tie, majority rule is the only one that
treats both candidates equally.
treats both candidates equally and all voters equally.
treats both candidates equally and all voters equally and is monotone.