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