13 Mental models in deductive, modal, and probabilistic reasoning