My first TDD example