Comment by jwr

Every database vendor should pay to get their software Jepsen-tested.