Functional_predicate loading ...