Making extinction calculable | Synapse