Geometrisation_conjecture loading ...