half(1 ^ i)
