Find!
c1=s1 seems to have property/properties c2=s2 to observer s3 under conditions s4 but it actually does not have that property / these properties.
Cf. simlu, ckaji.