let for_all p = for_all (is_neg ||| p)