Non-euclidean_Geometry loading ...