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

No. You have just defined (w^a)[n] for the case where a is a successor or a limit ordinal smaller than e_0. That is the problem.