Working on CRDTs example