Content: Typo: "..that if there exists a candidate x such that if for all other candidates y at.." should be "..that if there exists a candidate x such that for all other candidates y at..". (It also seems strange that the rest of the paragraph talks about Condorcet "ruling out" candidates rather than establishing b as the only viable candidate, since Condorcet may "rule out" all candidates in this sense but will only ever select one candidate.)