Det hade nämligen framgått,