Uses of Class
manifold.ext.ExtensionManifold