DFT calculations identify the steps needed to form the carboxylate from imidazole and DMC: SN2 methyl transfer from DMC to imidazole, followed by proton transfer from the imidazolium CH to the carboxylate counterion, produces the free NHC H-bonded to MeOH with a weakly associated CO2. 