User talk:Hyp cos/Taranovsky's various ordinal notations

If you bring this analysis up to the limit of your OCF, it will be just wonderful and very important for the whole of googology.

I wish you good luck in the analysis, and I have one more question: what version of TON is used here?