What a strawman. The article doesn't claim or imply that Paxos on its own will make a better system. You can't build secure systems without having solid buildin

What a strawman. The article doesn't claim or imply that Paxos on its own will make a better system. You can't build secure systems without having solid building blocks and primitives. Just like proving encryption algorithms and cryptographic have functions have certain properties is important and essential, proving properties about Paxos is important and useful.