Så torde man kunna antaga,