Men skall man då i stället antaga,