[0. Summary]

1. Why does Stellar opt for _federated_ Byzantine agreement instead of simply Byzantine agreement? More concretely, in Stellar, each node chooses a quorum slice (a set of nodes whose consensus it trusts); but why not have a global quorum (the same slice for everybody) like in PBFT, but running PBFT over all the members in the system in the open membership setting?