MAYBE
226.22/57.48	MAYBE
226.22/57.48	
226.22/57.48	Problem:
226.22/57.48	 f(x,a(b(y))) -> f(a(a(x)),y)
226.22/57.48	 f(x,b(a(y))) -> f(b(b(x)),y)
226.22/57.48	 f(a(x),y) -> f(x,a(y))
226.22/57.48	 f(b(x),y) -> f(x,b(y))
226.22/57.48	
226.22/57.48	Proof:
226.22/57.48	 Open
226.22/57.49	EOF