MAYBE
38.09/10.41	MAYBE
38.09/10.41	
38.09/10.41	Problem:
38.09/10.41	 a(x1) -> x1
38.09/10.41	 a(a(b(x1))) -> b(b(a(a(x1))))
38.09/10.41	 b(x1) -> c(c(a(x1)))
38.09/10.41	
38.09/10.41	Proof:
38.09/10.41	 Open
38.09/10.41	EOF