\forall x, x \notin \mathbb{Z}