If John Braun finishes in 1st place in the 2026 WA-03 primary according to the certified results, then the market resolves to Yes.