> so it's no surprise that we're not Boltzmann Brains
I think I agree you've excluded them from the definition, but I don't see why that has an impact on likelihood.