Untitled

$\Sigma \models \phi$ $\Sigma$ denotes a set of sentences(i.e. all variables are bounded),