Formation via nucleation of boltzmann brains — LessWrong