Proving one proves all | Synapse