MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 f(f(0(),x),1()) -> f(g(f(x,x)),x)
0.07/0.18	 f(g(x),y) -> g(f(x,y))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF