195.95/50.07	MAYBE
195.95/50.07	
195.95/50.07	Problem:
195.95/50.07	 a(x1) -> x1
195.95/50.07	 a(b(b(a(x1)))) -> a(c(c(b(x1))))
195.95/50.07	 c(x1) -> a(b(x1))
195.95/50.07	
195.95/50.07	Proof:
195.95/50.07	 Open
195.95/50.07	EOF