Clarify SICP connection