De Morgan's laws
But, using De Morgan's laws,