f X g h f X f 1 1 g 1 h 1 1 FULL ./TRS/CSR/ExConc_Zan97.trs