arrow's, may's, and the gibbard-satterthwaite theorems