User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-25418284-20140509201345/@comment-25418284-20140509212749

Okay, that makes sense.