Towers of Hanoi demo using Shoes