
$Q_\infty
  ( \bN^+ ) \subseteq \frac{1}{3} \bZ$
