SICP 1.11