MAYBE
37.60/10.37	MAYBE
37.60/10.37	
37.60/10.37	Problem:
37.60/10.37	 a(x1) -> x1
37.60/10.37	 a(a(b(x1))) -> b(b(a(a(x1))))
37.60/10.37	 b(x1) -> c(a(x1))
37.60/10.37	
37.60/10.37	Proof:
37.60/10.37	 Open
37.60/10.37	EOF