selbi'o lujvo

x2=b1 becomes/changes/converts/transforms into x1=b2 under conditions x3=b3.

se binxo