Chap9 - 9.4.2 destroy