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