Clear documentation for `not`