S_AuxImp_2 | B3