MAYBE
43.59/16.08	MAYBE
43.59/16.08	
43.59/16.08	Problem:
43.59/16.08	 a(x1) -> x1
43.59/16.08	 a(b(x1)) -> b(c(a(a(x1))))
43.59/16.08	 c(c(x1)) -> c(b(a(x1)))
43.59/16.08	
43.59/16.08	Proof:
43.59/16.08	 Open
43.59/16.08	EOF