visat sig vara att,