The Closure Audit Theorem | Synapse