predicate complete