TDD spec for Towers of Hanoi