Thus the "is not" member is not simply unwinged horses or the like. In most of these pairs I suspect the "is not" component has no apparent usefulness [to most SAS [if they exist]]. Be that as it may both members of the [All, Nothing] pair seem to have usefulness.
Hal