Brian Harvey: Why SICP matters