 Note how the agent believes p on every world in the model, \(\llbracket \oB{}p \rrbracket^{M} = \left\{ {w_1, w_2, w_3} \right\}\); then, as the syntactic approach states that \({K'\varphi}\) holds in those worlds in which \(B\varphi \land \varphi\) is the case, we have