\exists x1,x2