MAYBE
86.13/54.09	MAYBE
86.13/54.09	
86.13/54.09	Problem:
86.13/54.09	 a(x1) -> x1
86.13/54.09	 a(b(x1)) -> c(a(x1))
86.13/54.09	 c(c(x1)) -> b(c(b(a(x1))))
86.13/54.09	
86.13/54.09	Proof:
86.13/54.09	 Open
86.30/54.10	EOF