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

I'm afraid I still don't understand. How would you solve this? What conditions would you set? I've set a massive quantity of seemingly obvious restrictions. What should I add and what should I remove? (Some of these are, after all, trivial)

Rule 14: (a+b)[n] = a+(b[n]), a >=b>0, a & b both limit ordinals, a < a+b, b < a+b