Published by the Department of Computer Science University of Chicago. Copyright CJTCS and the authors.