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

Oh, you have defined Cmp. Then are you going to define standard forms in order to have NIECF to become an ordinal notation system? I am looking forword to it.

> Else, Cmp(A,D) must be 0: Cmp(A,B)=Cmp(0,E)

Although it is not a problem, I note that the right hand side is always -1.