[Din] draft-mazieres-dinrg-scp-04 (page 16) setting preparedPrime

[Piers Powlesland <[e-mail]>]

In the section "preparedPrime", I'm wondering if the "highest accepted prepared
ballot", is referring to a concrete ballot that has been seen or a ballot
within the conceptual space of ballots?

For example, if we consider a system with 3 possible values x, y and z and
x<y<z. If you imagine we have p == (4,z) and we see blocking threshold for
(3,x) and so set p' == (3,x) if you consider the ballots that have been
accepted aborted through p and p', you can see that all the ballots required to
be aborted in order for (3,y) to be considered prepared have been aborted. Do
we now set p' to (3,y) since (3,y) is greater than (3,x) ?