Find!
x1 (fa'u-separated set) is analogous to x2 (fa'u-separated set of same size) by relation x3 (binary ka)
See ckini, fa'u