If the certified percentage of the popular vote received by Lois Frankel in the FL-23 Democratic primary is 80% to 100%, inclusive of both endpoints, then the market resolves to Yes.