remove double negation