IA1.GR.A: Reason about transformations and congruence.