Antecedent (if this happens)
KXPGAR3LEAD-VATO26-MKIM
Will Michael Kim lead at the end of Round 3 in the Valero Texas Open?
Series: KXPGAR3LEAD
Entity: Michael Kim
Expiration: 2026-04-19T00:00:00Z
Volume: 1289
YES ask: 0.0300
NO ask: 1.0000
Last: 0.0300
View on Kalshi
Rules
If Michael Kim is the leader at the end of Round 3 in the 2026 Valero Texas Open, then the market resolves to Yes.
Consequent (then it means this happened or will happen)
KXPGATOP5-VATO26-MKIM
Valero Texas Open: Will Michael Kim finish top 5?
Series: KXPGATOP5
Entity: Michael Kim
Expiration: 2026-04-19T00:00:00Z
Volume: 1635
YES ask: 0.2400
NO ask: 0.9300
Last: 0.2900
View on Kalshi
Rules
If Michael Kim finishes in the top 5 (including ties) in the 2026 Valero Texas Open, then the market resolves to Yes.
Confidence: none
Model: claude-sonnet-4-6
Screened: 2026-04-05T08:01:52Z
Reasoning: Leading after Round 3 does not guarantee a top 5 finish, and finishing top 5 does not require leading after Round 3. No logical necessity in either direction.
Strategy: Buy NO on antecedent + YES on consequent
Yield:
N/A
Cost:
$1.2400
Days to maturity:
N/A
Hurdle yield:
N/A
Excess yield:
N/A