Posterior probability — LessWrong