User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-31580368-20180214135720/@comment-31580368-20180215162539

"beyond П_3 reflection" based on guess of Hyp Cos. {A1(A3)A2}  - this is so as not to get confused, because I quote more BAN and BEAF. Just a habit...