Carbon kinetic isotope effects reveal variations in reactivity of intermediates in the formation of protonated carbonic acid.