If Louis Herman wins the Niethammer vs Herman professional tennis match in the 2026 M15 Saarlouis Round of 32 after a ball has been played, then the market resolves to Yes.