f f 0 x 1 f g f x x x f g x y g f x y f 2 0 0 1 0 g 1 FULL ./TRS/Zantema/z28.trs