be that as ~ 07_JUD_07_17 ~ be that as ~ 23_ISA_16_02 ~
 shall be that as ~ 07_JUD_07_17 ~ shall be that as ~ 23_ISA_16_02 ~