“May's theorem shows that, for a choice between two alternatives, simple majority rule is the only aggregation rule that is defined for every profile of preferences and is anonymous, neutral and positively responsive.”