15-213 Fall 2007: Supplementary Documents