Thus, the exceptional entities are really "exceptions", satisfying Moltmann's Negative Condition.
in the case of a negative universal quantifier, the exception entities are added to every member of the negative universal quantifier, via set union operation.