User blog comment:Ubersketch/Why haven't people been formalizing and fixing things?/@comment-4852660-20181209175935

Agreed, I still can't quite wrap my head around higher-level BEAF since it's pretty much ill-defined.