type(add == half)
