MAYBE
43.12/13.28	MAYBE
43.12/13.28	
43.12/13.28	Problem:
43.12/13.28	 a(x1) -> x1
43.12/13.28	 a(a(a(b(x1)))) -> a(b(b(b(a(a(a(x1)))))))
43.12/13.28	
43.12/13.28	Proof:
43.12/13.28	 Open
43.12/13.28	EOF