The authors stress they can find no plausible combination of P(¬A), P(X|¬A) and an acceptable expected-death limit that clears their bound without substantive further argument; they explicitly remain open to additional independent arguments and verification lowering P(¬A). The figures used are illustrative, not calibrated.