Added the not function