A theoretical study of carbon-carbon bond formation by a Michael-type addition.