not (1 > i)
