External representations and deductive reasoning