Some invariant between size of set s, size of nonrepeating elements p, and the length of the repeated Txs r such that r itself would require duplication to merge relative to p. So s = p + 2r or s = 2^p + 2^(r-1) is valid and s = 2^p + 2^r is the mallied block