Artatrovirenols A and B are two natural sesquiterpenoids with a complex tetracyclic backbone, and their chemical total synthesis is challenging. Here, the authors report a concise synthesis of ...