Find!
x1=g1 causes x2=xr1 to return to state x3=xr2 from state x4=xr3.
Cf. xruti, gasnu. Based on proposed redefinition of xruti by xorxes: x1 returns to state x2 from state x3.