Förmodligen måste man dock antaga ,att