 Note how, while \(W_{\chi{!}}\) is the set of worlds of the original model where \(\chi\) holds, \(R_{\chi{!}}\) is the restriction of the original epistemic relation to the new domain, and so is the new valuation function \(V_{\chi{!}}\). Then,