"Governing Mars will be up to the Martians, but these are some ideas"