7. Recursive Predicates

Exercise 5, 6, 7