 Here we imagine that for any given world, \(i\), we have corralled all the \(i\)-accessible worlds together. We then simply look at the quantificational status of \(p\) (and/or \(\neg p)\) in these \(i\)-accessible worlds to determine \(p\)’s modal status back at \(i\). For example\(,\) at a given world \(i, p\) is necessary if \(p\) holds throughout \(R^i\) and possible if \(p\) holds somewhere in \(R^i\).