0: predicate placeholder