Construction of a Perpendicular Bisector