MAYBE
81.85/40.43	MAYBE
81.85/40.43	
81.85/40.43	Problem:
81.85/40.43	 a(x1) -> x1
81.85/40.43	 a(a(b(x1))) -> c(c(a(c(x1))))
81.85/40.43	 c(c(x1)) -> b(a(x1))
81.85/40.43	
81.85/40.43	Proof:
81.85/40.43	 Open
81.85/40.43	EOF