string(half != half)
