For decades, Leslie Lamport's Paxos algorithm has been utilized, researched and extended to build reliable distributed systems. However, surprising new research from the VRG has proven that widely adopted Paxos is conservative.