CRDT Ignorance: I thought CDRT operations *did* have to be idempotent