User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-5029411-20130809205636/@comment-5150073-20130811164951

You probably waiting when I shall write "Fixed." under your comment.