 \(\langle h_1,h_2,m,w\rangle\Vdash \square_2\varphi\)  iff \(\langle h_1,h_2,m_2,w_2\rangle\Vdash \square_2\varphi\)  iff \(\langle h_1,h_2,m_2,w_3\rangle\Vdash \varphi\), for every \(w_3\) such that \(w_2 R_{m_2} w_3\).