MAYBE

Problem:
 f(0(),1(),X) -> f(X,X,X)
 g(X,Y) -> X
 g(X,Y) -> Y

Proof:
 Open