Non-Euclidean_geometry loading ...