amcknight comments on Some simple existential risk math