Euclid's_formula loading ...