Please Note: In general the conduct of the final was disappointing for two reasons. First, it seems a significant number of people thought it would be easier to "cd" to another student's directory on ececs than to think out an original solution. Second, such people could at least have shown enough gumption to realize that, using amb, one would have to reload Scheme every time a new formula is encountered and they should have realized that this is unacceptable. I would have been happy if some people modified the code so this was not necessary. But no one did. Hence I am upset. And you know what that means.