Lecture 20: Carbonate saturation