$$\equiv_{i_0+1} = \equiv_{i_0} = \equiv$$