On the Correctness of Egalitarian Paxos | Hacker News Reader