not (i >= div(1, 1))
