Proof: Strongest consistency guarantee possible for P+A distributed systems | Heykuki News