Future Martians will need to breathe. It won’t be easy

Asteroid impacts, microbes, mining: These are a few tactics engineers might one day use to create an Earthlike atmosphere on Mars.