Find!
s1=m1 seems to be the same as m2 by standard m3 to observer s3 under conditions s4.
Cf. simlu, mitmlu.