“[Due to the stakes, which require erring on the safe side] there is no need for a proof, just a convincing argument pointing to a more-than-infinitesimal possibility.”

— Stuart Russell