User blog comment:Moooosey/dco + decord sequence/@comment-43798125-20191014193224

So how would I solve the phi_0(e_0+w) problem? (Specifically, what is the problem? Is it that there is no rule applying to phi_0(a) for a limit ordinal a or something? If so, how would I fix that issue?)