Functional_equations loading ...