Find!
m1=d2 is a counterexample of common property(s) m2 of set m3, given by d1 against stand/argument d3.