MAYBE
38.92/10.37	MAYBE
38.92/10.37	
38.92/10.37	Problem:
38.92/10.37	 a(x1) -> x1
38.92/10.37	 a(a(x1)) -> a(b(c(a(b(x1)))))
38.92/10.37	 c(b(x1)) -> a(c(x1))
38.92/10.37	
38.92/10.37	Proof:
38.92/10.37	 Open
38.92/10.37	EOF