half(1 - i)
