Då i det här förutsatta fall ,att