This can be changed to `toNot`.