Under appropriate reaction conditions, a domino hydroformylation/Wittig olefination can be accomplished with derivatives of allylamines and stabilized Wittig ylides. A further highly diastereoselective aza-Michael reaction yields b-proline derivatives.These are, for example, useful as building blocks for alkaloid syntheses.