Mental representation and hypothetico-deductive reasoning: The case of the THOG problem.