Predicate_functor_logic loading ...