lukeprog comments on Probability, knowledge, and meta-probability