First example using TDD