Bart119 comments on Is there math for interplanetary travel vs existential risk?