A D996: Natural number $x \in \mathbb{N}$ is a bit if and only if \begin{equation} x \in \{ 0, 1 \} \end{equation}