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