 By the weak continuity axiom, for \(\alpha\) consisting of only zeros there exists a number \(m\) that fixes the choice of \(k\), which means that for all \(\beta\in\alpha(\overline{m})\), \(k=0\). But the existence of sequences whose first \(m\) elements are 0 and that contain a 1 show that this cannot be.