f g X Y f X f g X Y f 2 1 g 1 1 FULL ./TRS/CSR/Ex4_4_Luc96b.trs