HS.G.4.a: Know and use definitions to make deductions in mathematical argumentation (e.g., syllogism, detachment).