The mechanics of deductive reasoning: identifying premises and conclusions, and assessing the overall structure of a formal argument.