195.71/50.08	MAYBE
195.71/50.08	
195.71/50.08	Problem:
195.71/50.08	 a(x1) -> x1
195.71/50.08	 a(b(x1)) -> b(c(a(a(x1))))
195.71/50.08	 c(c(x1)) -> c(b(a(x1)))
195.71/50.08	
195.71/50.08	Proof:
195.71/50.08	 Open
195.71/50.08	EOF