Zeruel017 comments on Formation via nucleation of boltzmann brains