tom_cr comments on Approaching Logical Probability