 To evaluate \(\mathsf{\neg R&gt;W}\), one finds the set of worlds from \(\textit{Universe}_{C_3}\) that contains some member of the premise set \(s'_0\) or \(s'_1\): \({\{w_0,w_1,w_2,w_3\}}\)—these are the worlds consistent with the premise set and the laws. Are all of the \(\neg \mathsf{R}\)-worlds in \({\{w_0,w_1,w_2,w_3\}}\) also \(\mathsf{W}\)-worlds? No, \(w_2\) and \(w_3\) are not. Thus, \(\neg \mathsf{R&gt;W}\) is not true in (or supported by) the context \(C_3\). This was the intuitively correct prediction about example (42). Of course, the similarity analysis supplemented with Lewis’ (1979) System of Weights  also makes this prediction. But consider again example (43), which is not predicted: 