\exists x(Fx\land Gx)