Proving a Maintainer

The technical solution is interesting but I think the author is commenting on a different phenomenon, because they were able to debug the debugger debugging the debugger. The technical solution is interesting but I think the models were already capable back then.