Dolev-Strong: How Big Can f BeMay 7, 2023TL:DR: no assumption 但，only useful if f < n/2 in SMR context