Theorem 3.20 (Syntactic Forcing Theorem). $M[G]\models \phi$ if and only if $\exists p\in G,M\models r{⊩}^{\ast }\phi$.