Fig. 4: Derivatization of products and reaction profile.

a, Derivatization of azetidine products (see Supplementary Methods for details). b, Reaction profile calculated using DFT SMD(1,2-dichloromethane)-M06-2X-D3/def2-TZVP in kcal mol−1. c, Potential energy surface calculated using DFT SMD(1,2-dichloromethane)-M06-2X-D3/def2QZVP//SMD(1,2-dichloromethane)-M06-2X-D3/def2-SVP. d, Frontier molecular orbitals of isobutene and 3A′. r.t., room temperature. HOMO, highest occupied molecular Orbital; HSOMO, highest singly occupied molecular orbital; LUMO, lowest unoccupied molecular orbital; LSOMO, lowest singly occupied molecular orbital.