Figure 8: \(w\in{\llbracket\phi_2\strictif\phi_1\rrbracket}^R_v\cap{ \llbracket\phi_1\strictif\psi\rrbracket}^R_v\Leftrightarrow w\in{\llbracket\phi_2\strictif\psi\rrbracket}^R_v\) (Transitivity). [An extended description of figure 8 is in the supplement.]