Arrow’s General Impossibility Theorem and Five Collective Choice Rules: Pareto, Condorcet, Plurality, Approval Voting, and Borda