MAYBE
42.40/12.36	MAYBE
42.40/12.36	
42.40/12.36	Problem:
42.40/12.36	 a(x1) -> x1
42.40/12.36	 a(a(b(x1))) -> b(a(b(a(c(a(x1))))))
42.40/12.36	 c(b(x1)) -> x1
42.40/12.36	
42.40/12.36	Proof:
42.40/12.36	 Open
42.40/12.37	EOF