text: A cycloaddition of an azomethine ylide with an unactivated alkene was used in total synthesis of martinellic acid. The cycloaddition step formed two rings, including a pyrrolidine, and two stereocenters.