Euclid's_elements loading ...