> Was there a Musk company dedicated to building that?

The Boring Company. Are you saying if Musk or his company essentially gives up on building something he hyped for years, it's not a failure?