Hanoi and other stuff