I didn't know they were using Paxos!
Google has always been a pioneer in high scalability challenges; excellent study case, Neo👌