Working through Kent Beck's example