Assume $X$ is not empty. Is the statement $\forall \mathcal{P} \colon \exists x \in X \colon \mathcal{P}(x) \implies \forall x \in X \colon \mathcal{P}(x)$ true? With proof or counterexample, of course.