f x h y h f f h a y x f 2 h 1 a 0 FULL ./TRS/Waldmann/jwno6.trs