197.37/50.37	MAYBE
197.37/50.37	
197.37/50.37	Problem:
197.37/50.37	 a(x1) -> b(c(x1))
197.37/50.37	 b(a(b(x1))) -> c(x1)
197.37/50.37	 c(c(x1)) -> a(a(b(x1)))
197.37/50.37	
197.37/50.37	Proof:
197.37/50.37	 Open
197.37/50.38	EOF