(y_i,z)\in S_2