Predicate_(logic) loading ...