copied stuff into Sect. 2