use delete in crdt example