"all" and "no" are easily extended from boolean logic to unspecified numbers of items for everyday speech, without resorting to unification: all not == not A

"all" and "no" are easily extended from boolean logic to unspecified numbers of items for everyday speech, without resorting to unification: all not == not A and not B == not (A or B) not all == not (A and B) == not A or not B Seems to work in other natural languages besides English, e.g. 都不 vs 不都 have same variation in meaning as in English where 都="all" and 不="not".