Så står det i handlingarna.