User blog comment:P進大好きbot/Historical Background of the Ill-definedness of UNOCF/@comment-34422464-20191006134523

Since K in most OCFs can be replaced by a greatly Mahlo, is there a sequence that goes (I, M, G...) where G is a greatly Mahlo?