Find!
x1 and x2 are such that each of the former is in relation x3 with some of the latter, and each of the latter is such that some of the former is in that relation with it.