Dessa hade nämligen förklarat,