Detta borde vara den gifna förutsättningen,