T\vdash\exists x\varphi(x),