Find!
s1 commits faux pas (social error) s2, which is wrong under conditions s3 according to standard s4.