We studied proposed steps for the enzymatic formation of gamma-carboxyglutamic acid by density functional theory (DFT) quantum chemistry. Our results for one potentially feasible mechanism show that a vitamin K alkoxide intermediate can abstract a proton from glutamic acid at the gamma-carbon to form a carbanion and vitamin K epoxide. The hydrated carbanion can then react with CO2 to form gamma-carboxyglutamic acid. Computations at the B3LYP/6-311G** level were used to determine the intermediates and transition states for the overall process. The activation free energy for the gas-phase path is 22 kcal/mol, with the rate-limiting step for the reaction being the attack of the carbanion on CO2. Additional solvation studies, however, indicate that the formation of the carbanion step can be competitive with the CO2 attack step in high-dielectric systems. We relate these computations to the entire vitamin K cycle in the blood coagulation cascade, which is essential for viability of vertebrates.