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