This is a fantastic write-up. Worth a read even if you don’t care about CRDTs.