TBH I think this whole discussion - that fixing Mars should be easier than fixing Earth - is some proof that a lot of hacker news commenters are already aliens from Mars.