Antecedent (if this happens)
KXPGAR1LEAD-VATO26-JKEE
Will John Keefer lead at the end of Round 1 in the Valero Texas Open?
Series: KXPGAR1LEAD
Entity: John Keefer
Expiration: 2026-04-19T00:00:00Z
Volume: 95700
YES ask: 0.0100
NO ask: 1.0000
Last: 0.0300
View on Kalshi
Rules
If John Keefer is the leader at the end of Round 1 in the 2026 Valero Texas Open, then the market resolves to Yes.
Consequent (then it means this happened or will happen)
KXPGATOP5-VATO26-JKEE
Valero Texas Open: Will John Keefer finish top 5?
Series: KXPGATOP5
Entity: John Keefer
Expiration: 2026-04-19T00:00:00Z
Volume: 10020
YES ask: 0.0100
NO ask: 1.0000
Last: 0.0100
View on Kalshi
Rules
If John Keefer 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-01T08:13:06Z
Reasoning: Leading after Round 1 does not guarantee a top 5 finish, and finishing top 5 does not require leading after Round 1. No logical necessity in either direction.
Strategy: Buy NO on antecedent + YES on consequent
Yield:
N/A
Cost:
$1.0100
Days to maturity:
N/A
Hurdle yield:
N/A
Excess yield:
N/A