An example of Test Driven Development (TDD)