Euclid's_Elements loading ...