Two Column Proof Geometry Definition