User blog comment:Wythagoras/Extension of the busy beaver function/@comment-1605058-20131023174307/@comment-10429372-20131024062249

@LittlePeng9: I know this isn't new, but I'm going to combine these. By the way, you meant w_a^CK for any ordinal less than w_1^CK, didn't you?