Eric Brewer's CAP conjecture became a precise impossibility result for linearizable read-write services under arbitrary message loss.