not (1 < i)
