not (div == half)
