If SpaceX launches a manned Starship mission to Mars by Dec 31, 2029, then the market resolves to Yes.