Find!
x1=t1=xl1 misbehaves / is naughty for doing x2=t2 (property/event) under conditions x3=t3 by standard / breaking rule x4=xl3
C.f. xlali, tarti