Gibbard–Satterthwaite_theorem loading ...