User blog comment:Boboris02/Boris's ultima function/@comment-29014792-20161103193259/@comment-189.171.6.148-20161104170935

Large cardinal collapse feeding into ordinal collapse.