f a x f x f b x f f x y z f x f y z f x f y z f f x y z b 0 a 0 f 2 FULL ./TRS/Zantema06/assoc.trs