added Morgan's Theorems