 This means that if the voters’ rankings of two candidates \(A\) and \(B\) are the same in two different election scenarios, then the social rankings of \(A\) and \(B\) must be the same. This is a very strong property that has been extensively criticized (see Gaertner, 2006, for pointers to the relevant literature, and Cato, 2014, for a discussion of generalizations of this property). It is beyond the scope of this article to go into detail about the proof and the ramifications of Arrow’s theorem (see Morreau, 2014, for this discussion), but I note that many of the voting methods we have discussed do not satisfy the above property. A striking example of a voting method that does not satisfy Independence of Irrelevant Alternatives is Borda Count. Consider the following two election scenarios: