Double negation elimination

Summary