MAYBE
40.70/10.76	MAYBE
40.70/10.76	
40.70/10.76	Problem:
40.70/10.76	 a(a(b(x1))) -> c(x1)
40.70/10.76	 a(c(x1)) -> b(c(a(a(x1))))
40.70/10.76	 b(c(x1)) -> x1
40.70/10.76	
40.70/10.76	Proof:
40.70/10.76	 Open
40.70/10.77	EOF