let exists p = exists (p &&& is_neg)