(\exists x)(\forall y)\neg P(x,y)