x \in \mathbf{Q}