applied Morgan's law