On the Uniqueness Theorem | Synapse