f f s x 0 f y z f f y z f y s z f f s x s y f z w f f x y f z w f 2 s 1 0 0 FULL ./TRS/Zantema06/while2.trs