If Austin Krajicek / Nikola Mektic wins the Krajicek / Mektic vs Harrison / Skupski professional tennis match in the 2026 ATP Washington Quarterfinal after a ball has been played, then the market resolves to Yes.