User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-11227630-20191219030804/@comment-35470197-20191219032636

It is incorrect. The complex factors are actually necessary in order to construct ordinal notations associated to the OCFs. For example, do you have any example of a simpler OCF with as rich structures as the least weakly Mahlo cardinal such that it yields an ordinal notation? I guess that there is no such an example. We need an ordinal notation in order to study computable googology, and hence it is unreasonable to ignore the benefit. (You might prefer uncomputable googology because you do not create ordinal notations associated to your OCFs, but I am aiming at computable googology in this blog post.)