terkai lujvo

x3 considers x1 as x2 (ka).

Cf. jinvi.