Why is paxos so hard to understand | Hacker News Reader