Amad was curious if triangles \triangle ABC△ABCtriangle, A, B, C, and \triangle EDF△EDFtriangle, E, D, F were congruent. He was able to map one figure onto the other using a reflection and a rotation. Amad concluded: "I was able to map \triangle ABC△ABCtriangle, A, B, C onto \triangle EDF△EDFtriangle, E, D, F using a sequence of rigid transformations, so the figures are congruent."