 Similarly, \(\phi\) is falsity equivalent to a sentence containing no slashed existential quantifiers: \(\phi\) is false in a model \(M\) iff the sentence \((\forall x)(\exists y)(\forall z/\exists y) R(x, y, z)\) is false therein.