User blog comment:Vel!/Googology and well-defined-ness/@comment-1605058-20141007094943/@comment-2033667-20141010130110

And here we have hit the reason i've abandoned attempts at formalizing BEAF. The very idea of formalizing it requires us to have some respect for Bowers' vague writings, which is amplified by the fact that Bowers is idolized so much. As such we have to bend over backwards to make our notation fit into some badly thought-out words for no good reason, which is a tedious, arbitrary task that gets us nowhere