Melvin began a plan for this proof. Since segment AB = segment CD, then AB = CD. He knows that BC = BC, by the reflexive property of equality. What is a possible next step in Melvin's proof?