Mental Models in Deductive Reasoning