1.9) The first procedure evaluates as follows: (+ 4 5) (inc (+ (dec 4) 5)) (inc (inc (+ (dec 3) 5))) (inc (inc (inc (+ (dec 2) 5)))) (inc (inc (inc (inc (+ (dec 1) 5))))) (inc (inc (inc (inc (+ 0 5))))) (inc (inc (inc (inc 5)))) (inc (inc (inc 6))) ... 9 The second as follows: (+ 4 5) (+ (dec 4) (inc 5)) (+ (dec 3) (inc 6)) (+ (dec 2) (inc 7)) (+ (dec 1) (inc 8)) (+ 0 9) 9 The second is iterative while the first is not.