Find!
x1=sm2=si1 has a similar meaning to x2=sm2=si2 for interpreter x3=sm3.
See also: selsmudu'i (synonym).