Formal manifold