User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-35470197-20190616120315/@comment-25337554-20190616212817

>I think that you do not need to assume the condition that + is communitive, because the equality A+B + C = A + B+C as strings always holds. (I do not know the word "communitive", though.) Fixed.

>Cmp(0,E) is always -1. It is intended.

>Maybe it should be "If E = 0". Fixed.

>The indent seems to be deeper than intended. Fixed.

>What do you mean? Reworded.

>Maybe ψ(0) should be ψ_Ω_1(0). Fixed.