Yes, yes and the Sun will turn into a giant star and make Earth uninhabitable in a few billion years. That is also a mathematical certainty. Hopefully by then multiple starships would be pointed to multiple different stars...

Thing is people/companies/entites etc can adapt and overcome and have effective contingency plans instead of running the same failing model and pinning all hopes on one single transaction with no realistic backup plan should plan A be blocked by a judge....