add not= function