Theory, Deduction, and Rules of Correspondence | Synapse