12 Tidy evaluation

There are no exercises in this chapter.