# ideas * Allow simulations of arbitrary length ## Protocols * Voter sets according to Maekawa? * NFS * AFS