Så försäkras det i åtskilliga dokumenter,