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

C(0,C(C(0,0),0)) = ω+1, not C(C(0,0),C(0,0)).