User blog comment:Wythagoras/My well-definedness-grades/@comment-5307762-20141008111749

Well, I don't know that BEAF is THAT ill-defined.

(I only use linear notation of it)