FormalManifold