If the certified percentage of the popular vote received by Austin Rogers in the FL-02 Republican primary is 20% to 100%, inclusive of both endpoints, then the market resolves to Yes.