Added to sicp.scm.