a pool and ~ 12_2KI_20_20 ~ a pool and ~ 23_ISA_35_07 ~