Add notp, to negate a predicate.