Deductive reasoning and strategies