&quot;Although many ranked voting methods exist, the Arrow Impossibility Theorem proves no single one can be ideal (Arrow 1963).&quot;<p>That&#x27;s not actually what Arrow&#x27;s theorem proves.  It just proves that a voting system cannot simultaneously meet four criteria.  It doesn&#x27;t prove that those four criteria should be required though.  Independence of Irrelevant Alternatives is particularly problematic.<p>Kudos to them for respecting the Condorcet Criterion though.