Removing double negation