Two types of synchronization problems:
Unifying annotation schemes and their usage.
Fundamental problem of collaborative software/distributed systems.
“How to ensure that dispersed users are able to modify a shared body of documents without overwriting each other’s changes”