$${I^\perp=I_0}$$