Probability, knowledge, and meta-probability — LessWrong