f 0 1 g x y z f g x y g x y g x y h x g 0 1 0 g 0 1 1 h g x y h x f 4 0 0 1 0 g 2 h 1 INNERMOST ./TRS/AG01/#4.15.trs