Men då förutsättes ,att