Arrow’s Theorem, May’s Axioms, and the Borda Count