Journal: Chicago J. Theor. Comput. Sci.