On the Correctness of Egalitarian Paxos | Heykuki News