197.42/50.53	MAYBE
197.42/50.53	
197.42/50.53	Problem:
197.42/50.53	 a(x1) -> b(x1)
197.42/50.53	 b(b(a(c(x1)))) -> a(c(c(a(b(a(x1))))))
197.42/50.53	
197.42/50.53	Proof:
197.42/50.53	 Open
197.42/50.54	EOF