Add De Morgan's Laws