A versatile two-step method for the reductive alkylation and formal [4 + 2] annulation of secondary lactams: step economical syntheses of the ant venom alkaloids (2R,5S)-2-butyl-5-propylpyrrolidine and (+)-monomorine I