The new Fandom feel sucks!!![]
Also I will define a function:
(n) is defined as (the least positive integer x such that k is Rayo-nameable in x symbols)
Also I will define a function:
(n) is defined as (the least positive integer x such that k is Rayo-nameable in x symbols)