An impossibility result relating linearizability, availability, and network partitions in shared-data systems.