Reading about Terra forming the Planet Mars and the long term process involved and then reading that the entire process will be for not in the end as the planets size will eventually allow for the atmosphere to return to it's current form do to a lack of gravitational forces required to keep the atmosphere in place.
Even though this seems far fetched in our day and age of science, could not asteroids from the asteroid belt be redirected to impact on to the surface of the Planet mars to increase the over all size of the planet also adding to it's gravitational field allowing the planet to keep it's new atmosphere in place?
This could also have long term effects for a a safer Galaxy where asteroids would not be bumping into each other causing these giant rock formations to drift out into space or colliding with other planets in our solar system.
Of course it would cost way to much to even consider possible in our day and age but for future generations this maybe something that can and will be done.
Just my two cents on the entire conceptual idea of Terra Forming the planet Mars.