Figure 7. Henry's law exploitation

Now we get to the really interesting part of the derivation. Carbon dioxide in solution forms carbonic acid, and there is a solubility constant described by Henry’s law that quantifies the relationship.

Henderson Hasselbalch