If Min Sun7 Kim is the leader at the end of Round 1 in the 2026 AIG Women's Open, then the market resolves to Yes.