197.48/50.26	MAYBE
197.48/50.26	
197.48/50.26	Problem:
197.48/50.26	 a(a(x1)) -> b(x1)
197.48/50.26	 a(b(c(x1))) -> a(c(c(a(a(a(x1))))))
197.48/50.26	
197.48/50.26	Proof:
197.48/50.26	 Open
197.48/50.27	EOF