User blog comment:P進大好きbot/Summary on historical background of BMS/@comment-30869823-20180713171021/@comment-35470197-20181112013240

Yeah, BMS gave us a great deal of contribution in this community. Many googologists attracted to the system obtained good opportunity to create and study their own new large functions.

One problem is that googologists who are not familiar with arguments in mathematics, e.g. proofs in set theory or arithmetic, might have decided not to take care of the well-definedness (or provable totality) of their functions constructed by imitating an expansion rule of other well-defined functions. This situation of BMS is quite similar to that of OCF, but BMS is much easier to imitate and understand than OCF.

Anyway, this problem might be ignorable for almost all googologists in this community, because of the contribution of BMS. At least, the system is interesting for me.