Yvain's objection fails if "definitely" means "with probability 0.99999". In that case the conditional probability P( encounter civilization | universe contracts) is well-defined.

Oh, I thought I retracted the grandparent. Nevermind---it does need more caveats in the expression for it to return to being meaningful.