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

Challenge for you: formal proof that recursive extensions, with your definition, starting from w_1^CK reach exactly w_2^CK.