Double negation elimination