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).
