Its restriction to the pair {\(A\),\(C\)} is identical to that of the profile of the paradox of voting. Suppose the domain of a social welfare function includes both of these profiles. Then, to satisfy I, it must derive from each one the same social preference among \(A\) and \(C\). The social preference among \(A\) and \(C\) is, in this sense, to be “independent” of anybody’s preferences among either of them and the remaining “irrelevant” alternative \(B\). The same is to hold for any two profiles in the domain, and for any other pair taken from the set \(X\) = {\(A\), \(B\), \(C\)} of all alternatives. Some voting methods do not satisfy I (see Section 5.2), but pairwise majority decision does. To see whether \(x\) is socially preferred to \(y\), by this method, you need look no further than the individual preferences among \(x\) and \(y\). 