User blog comment:Deedlit11/Is BEAF well-defined?/@comment-25418284-20121121205547/@comment-5150073-20121125095519

Chris Bird already gone on, up to the Bachmann-Howard ordinal. Unfortunately, he don't make up names for his numbers.