Det vore dock nödvändigt,