198.04/50.35	MAYBE
198.04/50.35	
198.04/50.35	Problem:
198.04/50.35	 a(a(a(x1))) -> a(b(x1))
198.04/50.35	 b(c(x1)) -> c(c(a(a(a(x1)))))
198.04/50.35	
198.04/50.35	Proof:
198.04/50.35	 Open
198.04/50.36	EOF