Negation operates on the logical form of a predicate, not on its extension, so universality of exten...