removing the `not` is left as an exercise to the committer