Deductive Reasoning and Strategies