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