Use the drop-down menus to complete the proof. By the unique line postulate, you can draw only one segment, AC BC CD. Using the definition of perpendicular bisector reflection symmetry, reflect BC over l. By the definition of reflection, C is the image of itself and ABC is the image of B. Since reflections preserve angles orientation length, AC = BC.