Arndt-Eistert synthesis