MAYBE
77.63/39.21	MAYBE
77.63/39.21	
77.63/39.21	Problem:
77.63/39.21	 a(x1) -> x1
77.63/39.21	 a(a(x1)) -> b(c(x1))
77.63/39.21	 c(b(b(x1))) -> a(a(b(a(x1))))
77.63/39.21	
77.63/39.21	Proof:
77.63/39.21	 Open
77.63/39.22	EOF