If the certified percentage of the popular vote received by Catalina Lauf in the FL-19 Republican primary is 35% to 100%, inclusive of both endpoints, then the market resolves to Yes.