Formal Proof Geometry - Search