Corollary 3.21 (Definability Theorem). $p⊩\phi$ if and only if $p{⊩}^{\ast }\phi$.