Boltzmann Brains and Within-model vs. Between-models Probability — LessWrong