. . . ~지 않으면 안 되다 (=~어야 하다): Literally 'not good if . . . not,' but it indicates that . . . is obligatory. Unlike ~어야/아야 하다, which expresses a general sense of obligation or necessity, ~지 않으면 안 되다 focuses on the point that there is no other alternative, and what is referred to with '. . .~' must be the case.