^-U , rT ) | hotter (\