Towards a general theory of implementation | Synapse