I siå fall måste man antaga,