Work on problem 7.3 some more