 Figure 7:  \(\mathcal{S}\) is the entire state space. Three copies of \(\mathcal{S}\) are shown, corresponding to times 0, t, and \(t^\prime &gt; t\). If the system is in state s at time 0, it will be in state \(U_t(s)\) at time t, and state \(U_{t^\prime}(s)\) at time \(t^\prime\). The set of states corresponding to event C will evolve into \(U_t(C)\) and \(U_{t^\prime}(C)\). [An  extended description of figure 7  is in the supplement.]