What do external representations tell about mental models? An exploratory study in deductive reasoning