SICP 1.16