Students can reason formally using definitions, axioms, and theorems. They can construct deductive proofs starting from the givens, and produce statements that ultimately justify the statement they are supposed to prove. It is at this level that a typical high school geometry course is taught.