Find!
x1=j1=t1 is last/final in property x2=t2, toward extreme x3=t3, in sequence x4=t4=l2.
See also li'enrai, jicfo, romoi.