C<O&&C[i-1]<O[i-1]