Redpanda is https://jepsen.io/analyses/redpanda-21.10.1