Formal models are magic | Synapse