\{y'_i | i\in I_0'\}