Some progress on exercise 6.43