Could you share more about the challenges you hit working with CRDTs?