De Morgan law