add not function