Naming Congruent Triangles with Reasons