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