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

What kind of rule? Some rule like phi_0(a)[n] = something, a > e_0, but what should the something be?