Coordinated Mensik buying with proven winner

This market refers to the tennis match between Trevor Svajda and Jakub Mensik in the Mubadala Citi DC Open, originally scheduled for July 27, 2026 at 10:00AM ET. This market will resolve to 'Trevor Svajda' if Trevor Svajda advances against Jakub Mensik. This market will resolve to 'Jakub Mensik' if Jakub Mensik advances against Trevor Svajda. If the match is canceled (not played at all), ends in a tie, or is delayed beyond 7 days from the scheduled date without a winner determined, this market will resolve to 50-50. If the match begins but is not completed, and one player advances due to the opponent's retirement, default, or disqualification, this market will resolve to the player who advances. If the match ends in a walkover (player withdraws before the start and the other advances automatically), this market will resolve to 50-50. The primary resolution source will be official information from the ATP Tour. A consensus of credible reporting may also be used.