Investigation of transannular cycloaddition reactions involving furanoxonium ions using DFT calculations. Implications for the origin of plumarellide and rameswaralide and related polycyclic metabolites isolated from corals.