User blog comment:SuperSpruce/How I think the growth rate of the “array of” operator in BEAF is/@comment-35254569-20181201132749

Yes, I thought the same thing: The & operator just compares finite numbers to ordinal numbers and then (roughly) puts the ordinal back through the FGH to the output. Basically an ordinal feedback loop.