 On this model a context provides a set of worlds compatible with the facts, in \(C_2\) \(\textit{Facts}_{C_2}={\{w_6,w_7\}}\), and the set of worlds compatible with the laws, in \(C_2\) \(\textit{Universe}_{C_2}={\{w_0,w_1,w_2,w_3,w_6,w_7\}}\). This model of context is one essential component of the analysis, but so too is the way Veltman (2005) models worlds, situations, and dependencies between facts. These further components allow Veltman (2005) to offer a procedure for “retracting” the fact that \(\mathsf{R}\) holds from a world.