Lecture 17: COPS, Causal Consistency