deletions | additions       diff --git a/Commutativity.md b/Commutativity.md  index 61eae08..77407b0 100644  --- a/Commutativity.md  +++ b/Commutativity.md 
...
# Commutativity  \label{sec:commutativity}  - *discuss formal representations of commutativity from \cite{Herlihy:PPoPP08} and \cite{Kulkarni:PLDI11}, tradeoff between maximum concurrency and cost (runtime and implementation) of tracking it*