Thread:Tweer/@comment-43473168-20190822224347/@comment-36858690-20190822235931

infinity here is in normal finite distances, like light years. TREEEE...EEEEE(3) light years is a lot smaller than aleph null light years. you can't get to infinity with replacements below infinity, even with a number like, DD TREE(999)(TREE(3)) (999999999999999999999), in loaders notation.