User blog comment:DontDrinkH20/Some Explanations of Certain Large Cardinals/@comment-11227630-20181017041904/@comment-35470197-20181019221515

@Alemagno12

I guess that you wrote a reply to me.

> Here's an example of such an OCF:

I have never said that it is impossible for any OCF, but said that there is no systematic way to do so (which is valid for all OCFs). Existence of an example of such an OCF is obvuous.

Giving a single example of your success is not an evident that it is possible for any OCF. It is the same as the issue that listing up finitely many correspondence in "anaysis table" is not a proof of an actual analysis.