Raft/Paxos pro/cons smaller + interface to appendix