“Arrow proved that, with more than two alternatives, no rule for aggregating individual rankings into a complete and transitive social ranking can satisfy universal domain, weak Pareto, independence of irrelevant alternatives and non-dictatorship at once.”