Non-Euclidean_Geometry loading ...