perhaps the right thing is to move Venus and Mars to more convenient orbits
Also, we can (in theory) harvest a lot of gravitational potential energy by pulling Mars closer to the Sun.
Also, we can (in theory) harvest a lot of gravitational potential energy by pulling Mars closer to the Sun.