Lecture 17: CO2 in seawater