is always false, i.e. if there are no

's, then "all

is

" and "no

is