shalt die and ~ 12_2KI_20_01 ~ shalt die and ~ 23_ISA_38_01 ~
 shalt die and not ~ 12_2KI_20_01 ~ shalt die and not ~ 23_ISA_38_01 ~
 thou shalt die and ~ 12_2KI_20_01 ~ thou shalt die and ~ 23_ISA_38_01 ~