xrubei lujvo

b1=x1 takes/carries back b2=x2 to origin/earlier state b3=x3 from b4=x4 over path b5.

Cf. xruti, bevri.