as if it had ~ 11_1KI_16_31 ~ as if it had ~ 18_JOB_38_08 ~
 if it had ~ 11_1KI_16_31 ~ if it had ~ 18_JOB_38_08 ~ if it had ~ 19_PSA_124_002 ~ if it had ~ 48_GAL_04_15 ~~
 if it had been ~ 11_1KI_16_31 ~ if it had been ~ 48_GAL_04_15 ~
 If it had not ~ 19_PSA_124_001 ~ If it had not ~ 19_PSA_124_002 ~