Added clarity about inapplicability of De Morgan's law