exercise 2.6 church numerals and exercise 2.7 interval arithmetic