Peel predicate identifiers