Search: Maria determined that AABC is congruent with A A' B'C'