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

What if I add this to the rulerule? Rule 14. (All that stuff) where a is the minimal ordinal satisfying these conditions