Writing Proofs Geometry - Search