[BoiledCabbage]

This appears to discuss it a bit more. Not certain if it's more helpful than the comment (still going through it), but it does cover it more in detail.

https://risingentropy.com/the-arithmetic-hierarchy-and-compu...