Example from Kent Beck's "TDD by Example"