NOREF: Converting case of TM variable to tm for the pfproduct fact