If the certified percentage of the popular vote received by Randy Fine in the FL-06 Republican primary is 75% to 100%, inclusive of both endpoints, then the market resolves to Yes.