xagyga'i lujvo

x1=g1 modifies x2=g2 into x3=g3=xag1 for the benefit of x4=xag2.