Find!
x1 is a sequence of sequences, whose elements are related respectively by x2 (property, arity is length of x1)
Also: zip-then-apply. See porsi, cmima, porkini, menkini, .emnafa'u