Corollary 3.22 (Forcing Theorem). $M[G]\models \phi$ if and only if $\exists p\in G,p⊩\phi$.