Predicates after parameters.