PS = KImp28147(PSExp, K_EXP, H[1..8]).