Find!
x1 goes and returns to x2 from x3 via x4 by using x5.
It means 'x1 goes to x2 from x3, and then x1 goes to x3 from x2'.