deletions | additions       diff --git a/datatypes.md b/datatypes.md  index 4293298..0e7ba32 100644  --- a/datatypes.md  +++ b/datatypes.md 
...
Choosing the right ADT for your application can have profound performance implications. By selecting the semantics that are most permissive or specialized for the particular use case, programmers can ensure that the system is given the best chance of scaling performance effectively.  ## Conflict-free replicated data types  >  *introduce CRDTs here rather than in Sec \ref{sec:commutativity}? not sure I have enough evidence to make this into its own section...*