196.01/50.11	MAYBE
198.10/50.11	
198.10/50.11	Problem:
198.10/50.11	 a(x1) -> x1
198.10/50.11	 a(a(x1)) -> b(a(b(c(c(x1)))))
198.10/50.11	 c(x1) -> x1
198.10/50.11	 c(b(x1)) -> a(x1)
198.10/50.11	
198.10/50.11	Proof:
198.10/50.11	 Open
198.10/50.11	EOF