A Dynamic Rigidity Proof of the abc Conjecture | Synapse