Gibbard-Satterthwaite_theorem loading ...