195.49/50.02	MAYBE
195.49/50.02	
195.49/50.02	Problem:
195.49/50.02	 a(x1) -> b(x1)
195.49/50.02	 b(b(c(x1))) -> c(a(c(b(a(x1)))))
195.49/50.02	 c(c(x1)) -> x1
195.49/50.02	
195.49/50.02	Proof:
195.49/50.02	 Open
195.70/50.03	EOF