Title: Projective Geometry and Formal Geometry