 \((F,V) \models [[C]]\varphi\) if and only if for all \(i \in C\), there exists \(V'_i \in \mathcal{V}_i\) such that, for all \(k \in \overline{C}, V'_{k}\in \mathcal{V}_k\), we have that \((F,V')\models \varphi\)