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

Hmmm, how do we know this notation reaches every ordinal below w_2^CK?