Why Paxos is so hard to understand (www.yodaiken.com)