When you are given that AB ≅ CD, the fact that CD ≅ AB is a consequence of the Symmetric Property of Congruency. This is the missing reason for step 2).
