 The red circle delimits the worlds accessible from \(w_0\), the x-axis divides \(\phi\) and \(\neg\phi\)-worlds, and the y-axis \(\psi\) and \(\neg\psi\)-worlds. \({{\medsquare}}(\phi\supset\psi)\) says that there are no worlds in the blue shaded region.