(How) Do reasoning models reason?