Michael is trying to show that ABC is congruent to A’B’C’ by showing that A’B’C’ is reflection of ABC in the x-axis