Strategy-Proofness, IIA, and Majority Rule