Back to the double negation