Manifold_theory loading ...