How will this resolve if a Mars mission is built around Starship, but the actual lander is not Starship or is a sufficiently different derivative to have been renamed?

@JoshuaWilkes Thank you for asking. My intent was to create a market in the spirit of Dr. Hague's tweet. After re-reading, it looks like I added more specific requirements than I intended, so now I realize the title should have been something like, "Will SpaceX take a human to Mars before" etc, without requirements on the name of the vehicle or landing on the surface.

I decided to make a new market with those requirements and leave this market with a strict interpretation.

New market:
/jks/will-spacex-take-a-human-to-mars-be

@jks nice