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