A (4+3) cycloaddition is a cycloaddition between a four-atom π-system and a three-atom π-system to form a seven-membered ring. Allyl or oxyallyl cations (propenylium-2-olate) are commonly used three-atom π-systems, while a diene (such as butadiene) plays the role of the four-atom π-system. It represents one of the relatively few synthetic methods available to form seven-membered rings stereoselectively in high yield.