MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(0(),y) -> y
0.08/0.18	 f(x,0()) -> x
0.08/0.18	 f(i(x),y) -> i(x)
0.08/0.18	 f(f(x,y),z) -> f(x,f(y,z))
0.08/0.18	 f(g(x,y),z) -> g(f(x,z),f(y,z))
0.08/0.18	 f(1(),g(x,y)) -> x
0.08/0.18	 f(2(),g(x,y)) -> y
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF