Level 3: At level 3, formal mathematical deduction is used to establish an orderly mathematical system of geo- metric results. Deduction, or proof, is the final authority in deciding the validity of a conjecture. However, draw- ings and constructions may be very helpful in suggesting methods of proof.