User blog comment:Boboris02/MBOT/@comment-30167082-20161218151736/@comment-30754445-20161219173421

LittlePeng9:

I don't consider creating an (α+1)-level function from an already existing α-level notation (where α is some huge ordinal) to be worthy of the adjective "strong".