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

> Since K in most OCFs can be replaced by a greatly Mahlo,

Please tell me all examples of such OCFs which you are referring to. Also, do you have a proof?