[tahoe-dev] Fwd: On the value of "proofs"...

[Toby Murray]

On Thu, 2009-01-29 at 00:02 -0700, Shawn Willden wrote:
> Of course, you're still left with estimating the probability that 
> Brian goes berserk in the machine room, and I don't know how you do that, but 
> assuming you can come up with a reasonable number, the math can factor it in, 
> correctly.

What about the more realistic and estimable probability that there is a fire in the machine room or other such event (flooding etc.) that causes a similar failure?