is this negation valid here?