existence statements

• are statements that take the form $\exists x,\mathbb{R}x$