not (add != add)
