Ooh, geometry proofs are getting more interesting. I'm proving the converse of the perpendicular bisector theorem.