If the certified percentage of the popular vote received by Zach Lahn in the 2026 Iowa Republican gubernatorial primary is 35% to 39.99%, inclusive of both endpoints, then the market resolves to Yes.