And yet we have CRDTs.

CRDTs are eventually consistent data structures

[deleted]