Comment by Scott Alexander

I think my real p(doom|no pause) is probably a few points above 20%, and my real p(doom|maybe-pause) is probably a few points below 20%, but the haters and losers get mad if you offer excessively specific probabilities like 18%, so I'm rounding both of them off to 20%.