johnlawrenceaspden comments on A Semitechnical Introductory Dialogue on Solomonoff Induction