If Carles Hernandez wins the Hernandez vs Machado professional tennis match in the 2026 M15 Xativa Quarterfinal after a ball has been played, then the market resolves to Yes.