User blog comment:Alejandro Magno/Ideas for ExE/@comment-11227630-20141001154728/@comment-5529393-20141001164231

Right, if we can use any recursive function, shouldn't this go up to w_1^CK?