Implementation of `Not`