[X,Y]

f(0,1,X) -> h(X,X).
h(0,X) -> f(0,X,X).
g(X,Y) -> X.
g(X,Y) -> Y.
