deletions | additions       diff --git a/Commutativity.md b/Commutativity.md  index db165b6..61eae08 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*