I'm confused by the relationship between Paxos, the company, and Paxos, the algorithm. Do the authors of Paxos work for Paxos?
Edit:
https://en.m.wikipedia.org/wiki/Paxos_(computer_science)
Ah; both are named for a fictional financial systen