@AlgoCompSynth I read it not too long ago, and I don't remember reading that it was, it beats around similar bushes, but it's not really addressing that. In Chatin's latest book, a bit.