have I set ~ 19_PSA_002_006 ~ have I set ~ 23_ISA_50_07 ~
 have I set my ~ 19_PSA_002_006 ~ have I set my ~ 23_ISA_50_07 ~
 therefore have I set ~ 23_ISA_50_07 ~ therefore have I set ~ 26_EZE_07_20 ~