User blog comment:Boboris02/Analysis of Taranovsky's Ordinal Notation with "standard OCFs."/@comment-25601061-20180113214110/@comment-30118230-20180114150451

Also give me your reasoning for why it's $$C(C(\Omega_2 2+C(C(\Omega_2,C(\Omega_2 +C(\Omega_2 2,0),0)),C(\Omega_2+C(\Omega_2 2,0),0)),0),0)$$ and not $$C(C(\Omega_2 2+C(\Omega_2,C(\Omega_2+C(\Omega_2 2,0),0)),0),0)$$