Also for the `not`