198.84/50.20	MAYBE
198.84/50.20	
198.84/50.20	Problem:
198.84/50.20	 a(x1) -> b(x1)
198.84/50.20	 a(b(a(c(x1)))) -> c(c(a(a(a(a(x1))))))
198.84/50.20	
198.84/50.20	Proof:
198.84/50.20	 Open
198.84/50.21	EOF