fubarobfusco comments on Existential Risk and Existential Hope: Definitions