Arrow’s Theorem, May’s Axioms, and Borda’s Rule