Sicp discussion 1.3.4