MAYBE
38.38/10.36	MAYBE
38.38/10.36	
38.38/10.36	Problem:
38.38/10.36	 a(x1) -> x1
38.38/10.36	 a(a(x1)) -> b(a(b(c(x1))))
38.38/10.36	 c(x1) -> x1
38.38/10.36	 c(b(x1)) -> a(c(x1))
38.38/10.36	
38.38/10.36	Proof:
38.38/10.36	 Open
38.38/10.36	EOF