type(1 >= i)
