197.52/50.55	MAYBE
197.52/50.55	
197.52/50.55	Problem:
197.52/50.55	 a(x1) -> x1
197.52/50.55	 a(b(x1)) -> c(x1)
197.52/50.55	 a(c(c(x1))) -> c(b(a(c(a(x1)))))
197.52/50.55	
197.52/50.55	Proof:
197.52/50.55	 Open
197.52/50.56	EOF