If you check how Elon Musk form SpaceX & The Boring Company you will notice the ideation processes are quite similar. Both are starting from very very big vision and screening down to a specific immediate problem for startup. Living in Mars dream has driven the concrete plan: making a reusable rocket; Easing urban traffic is driving the concrete problem: how to make tunnel.