Find!
x1 and x2 are such that the former is in relation x3 with a greater number than that which the latter is in that relation with.