User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-25418284-20130718062620

Sorry to respond to all your hard work with a lame question, but are we at Loader yet?