. . "If I say, ???It is not the case that A is not a subset of B??? then I mean that A is a subset of B. In general, ???not (not P)??? is the same as P. We can actually use that to deduce the second de Morgan law from the first." . .