Negation and De Morgan's Law