måste antaga detta sistnämda.