Cauchy's_functional_equation loading ...