Title: Total syntheses of (-)-historionicotoxins via stereoselective intramolecular cyclization of vinyl epoxides