Yeah, I figured Mars would be an underground territory since that seems to be where any nutrients might be anyway. Trying to form an atmosphere there suitable for life is likely impossible, but cave cities would be theoretically doable.

Although I don’t know how I feel about terraforming other planets in general. Humans have destroyed this one so much that I feel like giving us another is akin to not teaching a child not to destroy their stuff. On the other hand, it would just be cool to see what humans have accomplished.