MAYBE
72.20/36.09	MAYBE
72.20/36.09	
72.20/36.09	Problem:
72.20/36.09	 a(x1) -> x1
72.20/36.09	 a(b(x1)) -> b(c(a(x1)))
72.20/36.09	 c(a(c(x1))) -> b(a(a(x1)))
72.20/36.09	
72.20/36.09	Proof:
72.20/36.09	 Open
72.20/36.09	EOF