Find!
b1=t1 tightens on, tucks into t2 in direction t3 at locus t4 under conditions b3.
See also tagji, binxo.