6.001 Structure and Interpretation of Computer Programs, Fall 2002