Predicate_logic loading ...