Dexter Kozen <img align=middle src="ftp://ftp.cs.cornell.edu/pub/dexter/kozen-color.gif">
