Det var alltså ingalunda nödvändigt,