User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-1605058-20130619131619/@comment-5529393-20130619133152

No problem!