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