Elements_of_Euclid loading ...