Det har alltså visat sig såsom faktiskt,