User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-31040770-20200107090028

I agree with p-bot. When people use an OCF without properly defining it, they either use UNOCF, or they just use "the" OCF, which has  no definition and is very ill-defined. There is not even agreement on what the 1-Mahlo cardinal is in "the" OCF (for example M(2;0), Ξ[1], or Ξ(3,0)), and everything breaks down after the Mahlo fixed point. There are only a few people that can master the true OCF after the Mahlo fixed point.