Text this: Projective Geometry and Formal Geometry /