Answers to exercises from Chapter 6, State up to 6.11