On Theory Construction and Verification. | Synapse