User blog comment:LittlePeng9/Fundamental sequences for large ordinals/@comment-25418284-20140511062851/@comment-25418284-20140511064542

Well, color me surprised.