User blog comment:Edwin Shade/A Complete Analysis of Taranovsky's Notation/@comment-30004975-20180204182422/@comment-30118230-20180204200906

No,the zeroth system ends with the first fixed point of $$\alpha\mapsto C(\alpha,0)$$ ie $$\varepsilon_0$$.

Edwin's analysis is correct.