I’m pretty sure the whole mars thing was just a joke in the ToS...