Triangle Congruence Discovery