 and similarly for the universal quantifiers. For a sentence \(\phi\) we define \(\mm\models\phi\) to mean \(\mm\models_s\phi\) for all (equivalently some) s, and then say \(\phi\) is true in \(\mm\).