  Since \(\mathsf{C}\) is true in \(w_{2}\), \(\mathsf{A &gt; C}\) is true in \(w_{5}\) according to \(f_1\). But, since \(\mathsf{C}\) is false in \(w_{1}\), \(\mathsf{(A\land B) &gt; C}\) is false in \(w_{5}\) according to \(f_1\). No constraints are needed here other than success. While \(f_1\) satisfies uniqueness, the counterexample works just as well if, say, \(f_1(w_{5},{\llbracket}\mathsf{A}{\rrbracket}^{f_1}_v)=\{w_{2},w_0\}\). Accordingly, all similarity analyses allow for the non-monotonic interpretation of counterfactual antecedents.