If the margin of victory for Cory Mills in the 2026 FL-07 Republican primary falls within 0% to 4%, inclusive of its lower bound and exclusive of its upper bound, then the market resolves to Yes.