Transformations can justify that pairs of angles or segments are congruent or that lines are parallel or perpendicular.