User blog comment:Moooosey/dco + decord sequence/@comment-35470197-20191009222350

> If you can define b and c so that b+c = a & b is the smallest ordinal >=w such that b+c = a, for some c, and b <= c,

Such a b must coincide with w, and c is a.

> a[n] + expand(a,n-1), n > 1

Since ordinals themselves do not have informations of fundamental sequences, this is ill-defined.

It is the same mistake in your previous blog post. Please learn from past errors. Otherwise, you will just continue to spend time for ill-defined stuffs, which are meaningless.