Unit 1: THE LANGUAGE OF GEOMETRY, LOGIC, AND PROOF