A more complete Proof | Synapse