Fix default implementations according to De Morgan's laws