let's change `p` to `predicate` then