2.2 Hierarchical Data and the Closure Property
Exercise 2.17. and 2.18.