not (add != div)
