User:Googleaarex/Up to Highest Recursive Ordinal

We reached highest recursive ordinal!