Control Cannot Prove Itself | Synapse