Guaranteed properties of the inclusion phase (priority bundles)

[victorshoup]

"...If priority bundle B...." Would it be more economical to say: "if B is included in some round R, then T will not be included in any round < R". Also, is that equivalent to what is written: I mean, it says "B will be included..." but are we really making any such liveness guarantees? I mean, in an extreme case, the network could remain partitioned for a full epoch and no priority bundle will be included for that epoch (that's why I wrote "if B is included..."). Which is more accurate?

[edfelten]

I'l reword this as suggested.