Men det vore ingalunda nödvändigt,