ATDD by Examples, Part 2, sample code