Ben Pace comments on Probability theory and logical induction as lenses