Non-Desarguesian_geometry loading ...