 Now, consider the counterfactual \(\mathsf{B&gt;W}\). The first step is to retract the fact that \(\mathsf{B}\) is false from each world in \(\textit{Facts}_{C_{(43)}}\). That’s just \(w_2\). This world has two bases—minimal situations consisting of undetermined facts—\(s_0={\{{\langle \mathsf{B},0\rangle},{\langle \mathsf{H},1\rangle}\}}\) and \(s_1={\{{\langle \mathsf{H},1\rangle},{\langle \mathsf{W},0\rangle}\}}\).[39] The next step is to retract the fact that \(\mathsf{B}\) is false from both bases. For \(s_0\) this yields \(s'_0={\{{\langle \mathsf{H},1\rangle}\}}\) and for \(s_1\) this also yields \(s'_0\)—since the fact that you didn’t win together with the fact that the coin came up heads, forces it to be false that you bet. Given this situation, the premise set consists of the two worlds in Universe(43) that contain \(s'_0\): \({\{w_2,w_7\}}\). Now, are all of the \(\mathsf{B}\)-worlds in this set also \(\mathsf{W}\)-worlds? Yes, \(w_7\) is the only \(\mathsf{B}\)-world, and it is also a \(\mathsf{W}\)-world. So Veltman (2005) correctly predicts that (43) is true in (supported by) its natural context.