Functional_equation loading ...