User blog comment:Rgetar/List of ordinals up to Bachmann-Howard ordinal/@comment-31663462-20171122124402

FS #128 has too many parentheses.