Later in this article, the heard-of predicate characterizing this delivered predicate
(the most constrained one) is derived.
We mention it here, as a comparison [1]}:
\( \mathcal {HO}_F \triangleq \lbrace  h \text{ a heard-of collection} \mid \forall r > 0, \forall p \in \Pi : \mathit {card}(ho(r,p)) \ge n-F\rbrace \) 
