Informal Proof Geometry