b(0)$ are integers in the range from 0 to $|W|$, hence, when written in binary notation, will take at most $C'(\log|W| +0)$ space, where $C'$ is a constant. Since $b(0), b(0)$ are also integers that satisfy inequalities $$