User blog comment:SuperJedi224/Part 1 (Extension)/@comment-5029411-20140108003631

Great Nullex is same at Nullex. So Great X is same at X.

New Naming Rule:

"y-great" gives $$F_n(x)#X$(y+1)$$