Det blefve i sådant fall nödvändigt , att deextra