The complicated part of Paxos is not these 25 lines of code, but all the extensions people add over them.