tutorial section 5.6.1 - better test cases