Deductive reasoning and strategies (Erlbaum, 2000)