A problem to solve by TDD