Proof of the Van den Berg–Kesten Conjecture | Synapse