If only they could be read by robots! Their formulation is actually quite unwieldy and wasteful:

https://johncarlosbaez.wordpress.com/2020/04/13/bigness-part...