AT.G.4: Logic and Proof: Students will use geometric definitions and theorems to reason abstractly and quantitatively.