Conversation so far:

Question: state and prove de morgan's law for two sets
Self-contained rewrite: state and prove de morgan's law for two sets