CRDTs are eventually consistent data structures