Exactly the how and why of mars haven’t been explained at all. Because he isn’t serious. Fsd, mars, etc are all grifts to get engineers to work harder and give up more value so they think they are a part of some meaning.