https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-... is a good explanation. The diagram of the "MacLeod Cycle" utterly convinced me, having been around that loop a few times.