SICP inclusion