nutcabna lujvo

x1 coincides with x2 according to x3.

A better way to say koinside. cf. snuti, cabna.