x \in \{1,2,\dots,9\}