And CALM stands for Consistency As Logical Monotonicity -- CRDTs evolve monotonically in a certain sense.