User blog comment:Googleaarex/Unlimitable Ordinals/@comment-25418284-20130827194851/@comment-1605058-20130828073144

Well, I think this is suffiscent set of rules needed to define UL function, let's get to work.