Applet 1: Perpendicular Bisector
Conditional: If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment
Converse: If a point is equidistant from the endpoints of the segment, then the point lies on the segments perpendicular bisector