(x,y_i,z)\in S