Man skall förmodligen antaga,