This is equivalent to `toNot`, since the condition is immediately. We should just write it that way instead.