Find!
x1 and x2 do x3 (binary ka) to each other.
Equivalent to x1 ce x2 simxu x3, but useful for some lujvo.