MAYBE
39.20/10.41	MAYBE
39.20/10.41	
39.20/10.41	Problem:
39.20/10.41	 a(x1) -> x1
39.20/10.41	 a(a(b(a(x1)))) -> b(b(a(a(a(x1)))))
39.20/10.41	 b(x1) -> a(x1)
39.20/10.41	
39.20/10.41	Proof:
39.20/10.41	 Open
39.20/10.42	EOF