if we do ~ 07_JUD_11_10 ~ if we do ~ 24_JER_42_05 ~
 if we do not ~ 07_JUD_11_10 ~ if we do not ~ 24_JER_42_05 ~
 us if we do ~ 07_JUD_11_10 ~ us if we do ~ 24_JER_42_05 ~