196.17/50.04	MAYBE
196.17/50.04	
196.17/50.04	Problem:
196.17/50.04	 a(x1) -> x1
196.17/50.04	 a(x1) -> b(b(c(x1)))
196.17/50.04	 a(c(b(x1))) -> c(a(a(x1)))
196.17/50.04	 c(x1) -> x1
196.17/50.04	
196.17/50.04	Proof:
196.17/50.04	 Open
196.17/50.05	EOF