P_with_HM