Toward a Formal Theory of Transactions and Transvections | Synapse