Gibbard–Satterthwaite_theorem