`i >= 0`