,c_0}{\bound{0}}=\alphabet^*$. This can be verified by checking universality for the UFA that results by remembering all bounded counter values in the finite state space. The claim now follows by \[lem:universality\_of\_UFA\]