not (div != half)
