Examples from SICP