Why the double negation?