Dessa hade visserligen förklarat,