User blog comment:Kyodaisuu/Mashimo function/@comment-1605058-20140706065714/@comment-5150073-20140707200133

I think it works. \mathcal{O}(7^n)} will handle $$\alpha \mapsto \omega_\alpha^\text{CK}$$ function, and other parts of the system handle recursion around it.