Sending you to the main note... [CRDTs: The Hard Parts ]