Det borde då förutsättas,