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