(How) Do reasoning models reason? | Synapse