finishing-up the details of the tests of Example 4.7;