User blog comment:Googleaarex/Unlimitable Ordinals/@comment-25418284-20130903033807

Can you give us a formal definition of the UL function? All your extensions are useless if the function is not operational.