not (1 <= i)
