 Then, where \(\calM\) is an intended interpretation of \(\scrL_\Box,\) we can say that a formula \(\varphi\) of \(\scrL_\Box\) is true at a world \(w\)—true\(_w\)—just in case \(w \in W\) and \(\varphi\) is true\(_w^\calM\), and that \(\varphi\) is true just in case it is true\(_{w^\ast}\).