 Veltman’s (2005) analysis of counterfactuals identifies possible worlds with atomic valuations (functions from atomic sentences to truth-values) like those depicted in Figure  9. So \(w_6={\{{\langle \mathsf{R},1\rangle},{\langle \mathsf{W},1\rangle},{\langle \mathsf{H},0\rangle}\}}\). This makes it possible to offer a simple model of situations, which are parts of worlds: any subset of a world.[38] It is now easy to think about one fact (sentence having a truth-value) as determining another fact (sentence having a truth value). In context \(C_3\), \(\mathsf{R}\) being 1 determines that \(\mathsf{W}\) will be 1. Once you know that \(\mathsf{R}\) is assigned to 1, you know that \(\mathsf{W}\) is too. Veltman’s (2005) proposal is that speakers evaluate a counterfactual by retracting the fact that the antecedent is false from the worlds in the context, which gives you some situations, and then consider all those worlds that contain those situations, are compatible with the laws, and make the antecedent true. If the consequent is true in all of those worlds, then we can say that the counterfactual is true in (or supported by) the context. So, to evaluate \(\neg \mathsf{R&gt;W}\), one first retracts the fact that \(\mathsf{R}\) is true, i.e., that \(\mathsf{R}\) is assigned to 1, then one finds all the worlds consistent with the laws that contain those situations and assign \(\mathsf{R}\) to 0. If all of those worlds are also \(\mathsf{W}\) worlds, then the counterfactual is true in (or supported by) the context. For Veltman (2005), the characterization of this retraction process relies essentially on the idea of facts determining other facts.