A Theory of Procedure | Synapse