[moi2388]

You forgot ample use of “computational irreducibility”, and “like I showed 30 years ago (proceeds to not have shown this)” but yes. Very much this.