Find!
cabybixygau: x1=g1 updates / makes current x2=b1 to x3=c2; x1 makes x2 catch up with x3 at / under conditions / when x4=b3.