Rewrite another double negation