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

I checked the whole rules now. They are near the perfect, but there is no rule applicable to \(\varphi_0(\varepsilon_0+\omega)\).