Use State which is already defined in chapter 6.
Add exercise 16 and 17 of ch12.