Gibbard–Satterthwaite theorem |