this was super helpful for me when I was trying to understand the related paxos algorithms, thanks so much for making this!