not (half != add)
