Reason with points, lines, angles, polygons, circles, congruence, constructions, and the axioms behind Euclidean proofs.
