Space Exploration Technologies will make life multiplanetary, provided that country rivalries do not inhibit this outcome. The Starlink global communications system was built to fund that goal, which is why there is a Mars transfer orbit diagram on the Starlink Internet router. (Btw, asteroid mining is not economically competitive. Every element we could ever want is plentiful and far lower cost to mine on Earth.)