MichaelA answers How would you define “existential risk?”