deletions | additions       diff --git a/Implementation.md b/Implementation.md  index ac737df..e492bdc 100644  --- a/Implementation.md  +++ b/Implementation.md 
...
- Reads typically just need to hit one replica; maybe commutative/combining ops can do the same?  - Do combining at replicas; when sharing results with others, apply them in a deterministic order (or if all commute, then whatever order you want)  ##### ####  *First pass:* add Redis data structure ops to increase concurrency / reduce aborts - local backing store for each shard/replica  - currently a KV store (put/get)  - *todo:* extend/replace with Redis (or something like Redis)