MAYBE
39.98/10.39	MAYBE
39.98/10.39	
39.98/10.39	Problem:
39.98/10.39	 a(x1) -> x1
39.98/10.39	 b(x1) -> a(x1)
39.98/10.39	 b(a(c(x1))) -> c(c(b(a(b(x1)))))
39.98/10.39	
39.98/10.39	Proof:
39.98/10.39	 Open
39.98/10.39	EOF