Det vore ingalunda nödvändigt,