not (add == div)
