User blog comment:Kyodaisuu/Mashimo function/@comment-24509095-20140705233241/@comment-24061664-20140706144600

Because CK(19) is recursive and CK(20) is non-recursive. We cannot make the gap small.