be quenched and ~ 23_ISA_66_24 ~ be quenched and ~ 26_EZE_20_47 ~