residual predicate