Figure 7: \(w\in {\llbracket\phi\strictif\psi\rrbracket}^R_v \iff w\in {\llbracket\neg\psi\strictif\neg\phi\rrbracket}^R_v\) (Contraposition).  [An extended description of figure 7 is in the supplement.]