Elon Musk runs several companies - Tesla, SpaceX, Neuralink, and Boring Company. Do these companies have anything to do with each other and could they generate synergies in the future?