If the certified percentage of the popular vote received by Debbie Wasserman Schultz in the FL-20 Democratic primary is 25% to 100%, inclusive of both endpoints, then the market resolves to Yes.