 for every \(w'_1\) such that \(w_1 R_1 w'_1\); i.e., for every \(w'_1\) such that \(w_1 R_1 w'_1\) and for every \(w''_2\) such that \(w'_2 R'_2 w''_2\), \(\langle h_1,h_2,\langle W'_2,R'_2,V'_2\rangle,w''_2\rangle \Vdash \neg p\). This is equivalent to saying that, for every \(w'_1\) such that \(w_1 R_1 w'_1\) and for every \(w''_2\) such that \(w'_2 R'_2 w''_2\), \(w''_2 \not\in V'_2(p)\).