Mental models in reasoning