\exists x \in \mathbb{Z}