(x_i^j and y_i^j and z_i^j)