When The Washington Post ran a piece last month suggesting that Elon Musk is losing the plot mentally due to his Atlas-like workload, it listed some of the 49-year-old South African’s grandiose personal projects.

There’s the car-maker, Tesla, troubled but still successful. Then his SpaceX rocket company, with its plan to send a million humans to Mars by 2050. There’s Neuralink, developing brain implants so we can communicate with computers just by thinking. Oh, and the Boring Company, with its far-from-boring mission of digging tunnels for every mode of transportation, from walking to Hyperloop trains speeding from city to city at over 700 m.p.h.