\models\varphi