publish SICP Exercise 1.12.