I det föregående har antagitsatt