Weierstrass_substitution loading ...