2 Column Proof Geometry - Search