HrnrLet^ P txMhist r*