Get rid of double negation