196.21/50.22	MAYBE
196.21/50.22	
196.21/50.22	Problem:
196.21/50.22	 a(a(x1)) -> b(x1)
196.21/50.22	 b(a(c(x1))) -> c(c(a(a(a(a(x1))))))
196.21/50.22	
196.21/50.22	Proof:
196.21/50.22	 Open
196.60/50.22	EOF