If SpaceX launches Dragon Crew-13 After issuance and before Jan 1, 2027, then the market resolves to Yes.