How would you govern Mars? — LessWrong