Electrocyclic ring closing