Transferring to new FOOL home page at http://www.cs.williams.edu/~kim/FOOLbook.html.