Det hade nämligen visat sig,