loose ends: done with ex4 following test9!