A session-level guarantee: after a client writes a value, subsequent reads by the same client will reflect that write.