Calling external predicates