 Given this framework, the strict analysis can be formulated very simply: \(\phi &gt; \psi\) should be analyzed as \({{\medsquare}}(\phi\supset\psi)\). This says that all accessible \(\phi\)-worlds are \(\psi\)-worlds. This analysis can be depicted as in  Figure 4.[20]