https://9pdf.net/document/y8g3k174-two-pictures-of-the-iterative-hierarchy.html