They are examples. I've heard about how a geologist on Mars could do so much. But sending humans to Mars too early, they won't get any science or infrastructur

They are examples. I've heard about how a geologist on Mars could do so much. But sending humans to Mars too early, they won't get any science or infrastructure development done, it's just going to be super expensive trying to stay alive, maybe plant a flag for political purposes. A mission probably could retire engineering risk and proof operational practices etc. Even Apollo, with a very limited time run, had significant evolution of the missions. With Mars the launch opportunity gap problem is significant, hurting iteration speed. Anyway, for more than tiny scale space faring, we probably need to get our resources from asteroids. Asteroid resources are the key to space.