Reversible carboxylation of N-heterocyclic carbenes.