I det föregående är utgått från antagandet,