Mutual Exclusion of Influence: a New Proof of the Gibbard--Satterthwaite Theorem and the Synergy Obstruction | Synapse