let for_all p = for_all (is_pos ||| p)