Remove the definition of not