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

$$f_{\omega_2^\text{CK}}(n)$$ hasn't been defined so far, so FC(21) is undefined.