User blog comment:Wythagoras/My well-definedness-grades/@comment-4224897-20141007153036

My variant of BEAF would probably fall under a C type