User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180115213249/@comment-5529393-20180116083050

Correct.