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

You didn't fully analyze the 0th system. It actually ends at e1, not e0.